Hofstadter's problem for curious readers
نویسنده
چکیده
This document summarizes the proofs made during a Coq development inSummer 2015. This development investigates the function G introduced by Hofstadter in his famous"G{\"o}del, Escher, Bach"book as well as a related infinite tree. The left/right flipped variantof this G tree has also been studied here, following Hofstadter's"problem for the curious reader".The initial G function is refered as sequence A005206 in OEIS, while the flipped version is the sequence A123070.
منابع مشابه
Causal , Casual and Curious
In this issue of the Causal, Casual, and Curious column, I compare several ways of extracting information from post-treatment variables and call attention to some peculiar relationships among them. In particular, I contrast do-calculus conditioning with counterfactual conditioning and discuss their interpretations and scopes of applications. These relationships have come up in conversations wit...
متن کاملA Complexity Based Approach for Solving Hofstadter's Analogies
Analogical reasoning is a central problem both for human cognition and for artificial learning. Many aspects of this problem remain unsolved, though, and analogical reasoning is still a difficult task for machines. In this paper, we consider the problem of analogical reasoning and assume that the relevance of a solution can be measured by the complexity of the analogy. This hypothesis is tested...
متن کاملQuantum duality and Bethe - Ansatz for the Hofstadter problem on hexagonal lattice
The Hofstadter problem is studied on the hexagonal lattice. We first establish a relation between the spectra for the hexagonal lattice and for its dual lattice, the triangular lattice. Following the idea of Faddeev and Kashaev, we then obtain the Bethe-Ansatz equations for this system.
متن کاملA variant of Hofstadter's sequence and finite automata
Following up on a paper of Balamohan, Kuznetsov, and Tanny, we analyze a variant of Hofstadter’s Q-sequence and show it is 2-automatic. An automaton computing the sequence is explicitly given.
متن کاملArtificial Creativity: Emergent Notions of Creativity in Artificial Societies of Curious Agents
What is creativity? Generally, artefacts are labelled as creative if they are both novel and appropriate; individuals are regarded as creative if they produce creative works [1]. More specific definitions of creativity vary greatly in the details of what makes someone or something creative. Some definitions require that creative products must be the result of some creative mental processes, eff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1509.02479 شماره
صفحات -
تاریخ انتشار 2015